Search for: All records

With the ever-increasing hardware design complexity comes the realization that efforts required for hardware verification increase at an even faster rate. Driven by the push from the desired verification productivity boost and the pull from leap-ahead capabilities of machine learning (ML), recent years have witnessed the emergence of exploiting ML-based techniques to improve the efficiency of hardware verification. In this article, we present a panoramic view of how ML-based techniques are embraced in hardware design verification, from formal verification to simulation-based verification, from academia to industry, and from current progress to future prospects. We envision that the adoption of ML-based techniques will pave the road for more scalable, more intelligent, and more productive hardware verification. 

The design of analog computing systems requires significant human resources and domain expertise due to the lack of automation tools to enable these highly energy-efficient, high-performance computing nodes. This work presents the first automated tool flow from a high-level representation to a reconfigurable physical device. This tool begins with a high-level algorithmic description, utilizing either our custom Python framework or the XCOS GUI, to compile and optimize computations for integration into an Integrated Circuit (IC) design or a Field Programmable Analog Array (FPAA). An energy-efficient embedded speech classifier benchmark illustrates the tool demonstration, automatically generating GDSII layout or FPAA switch list targeting. 

Among soft materials, hydrogels with dynamic bonds that can be activated by a range of stimuli including temperature, pH, and infrared or ultraviolet light, constitute a special class of materials with unusual properties such as self-healing, actuation, and controlled degradation. Here, we take a hydrogel with reconfigurable disulfide crosslinks as an example and investigate its mechanical behavior. We demonstrate that this material has excellent fracture and fatigue resistance when the disulfide crosslinks are activated by ultraviolet illumination. We propose a simple constitutive model that describes the mechanical behavior of the material under a broad range of conditions. 

A conventional optical lens can enhance lateral resolution in optical coherence tomography (OCT) by focusing the input light onto the sample. However, the typical Gaussian beam profile of such a lens will impose a tradeoff between the depth of focus (DOF) and the lateral resolution. The lateral resolution is often compromised to achieve amm-scale DOF. We have experimentally shown that using a cascade system of an ultrasonic virtual tunable optical waveguide (UVTOW) and a short focal-length lens can provide a large DOF without severely compromising the lateral resolution compared to an external lens with the same effective focal length. In addition, leveraging the reconfigurability of UVTOW, we show that the focal length of the cascade system can be tuned without the need for mechanical translation of the optical lens. We compare the performance of the cascade system with a conventional optical lens to demonstrate enhanced DOF without compromising the lateral resolution as well as reconfigurability of UVTOW for OCT imaging. 

Biological tissues, such as heart valves and vocal cords, function through complex shapes and high fatigue resistance. Achieving both attributes with synthetic materials is hitherto an unmet challenge. Here we meet this challenge with hydrogels of heterogeneous structures. We fabricate a three-dimensional hydrogel skeleton by stereolithography and a hydrogel matrix by cast. Both the skeleton and matrix are elastic and stretchable, but the skeleton is much stiffer than the matrix, and their polymer networks entangle topologically. When such a hydrogel is stretched, the compliance of the matrix deconcentrates stress in the skeleton and amplifies fatigue resistance. We fabricate a homogeneous hydrogel and a heterogeneous hydrogel, each in the shape of a human heart valve. Subject to cyclic pressure, the former fractures in  560 cycles but the latter is intact after 50,000 cycles. Soft materials of complex shapes and high fatigue resistance open broad opportunities for applications.